搜索包含 Wash. and Harrison Hot Springs 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Wash. and Harrison Hot Springs 的图书(共54175本)

	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbr眉cken, Germany, March 26鈥揂pril 3, 2011. Proceedings 0 索取号：作者：Abdulla、 Parosh Aziz.、Leino、 K. Rustan M.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Physics of Laser Materials Processing [electronic resource] : Theory and Experiment 0 索取号：作者：Gladush、 Gennady G.、Smurov、 Igor.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Formal Methods: Foundations and Applications [electronic resource] : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers 0 索取号：作者：Davies、 Jim.、Silva、 Leila.、Simao、 Adenilso.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Granular Computing and Intelligent Systems [electronic resource] : Design with Information Granules of Higher Order and Higher Type 0 索取号：作者：Pedrycz、 Witold.、Chen、 Shyi-Ming.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Advances in Aerospace Guidance, Navigation and Control [electronic resource] : Selected Papers of the 1st CEAS Specialist Conference on Guidance, Navigation and Control 0 索取号：作者：Holzapfel、 Florian.、Theil、 Stephan.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Technology-Enhanced Systems and Tools for Collaborative Learning Scaffolding [electronic resource] 0 索取号：作者：Daradoumis、 Thanasis.、Caball茅、 Santi.、Juan、 Angel A.、Xhafa、 Fatos.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Fundamental Approaches to Software Engineering [electronic resource] : 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbr眉cken, Germany, March 26鈥揂pril 3, 2011. Proceedings 0 索取号：作者：Giannakopoulou、 Dimitra.、Orejas、 Fernando.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Foundations of Software Science and Computational Structures [electronic resource] : 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbr眉cken, Germany, March 26鈥揂pril 3, 2011. Proceedings 0 索取号：作者：Hofmann、 Martin.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Foundations for the Web of Information and Services [electronic resource] : A Review of 20 Years of Semantic Web Research 0 索取号：作者：Fensel、 Dieter.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Nanocosmetics and Nanomedicines [electronic resource] : New Approaches for Skin Care 0 索取号：作者：Beck、 Ruy.、Guterres、 Silvia.、Pohlmann、 Adriana.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Bioaugmentation, Biostimulation and Biocontrol [electronic resource] 0 索取号：作者：Singh、 Ajay.、Parmar、 Nagina.、Kuhad、 Ramesh C.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Information Fusion and Geographic Information Systems [electronic resource] : Towards the Digital Ocean 0 索取号：作者：Popovich、 Vasily V.、Claramunt、 Christophe.、Devogele、 Thomas.、Schrenk、 Manfred.、Korolenko、 Kyrill.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Cooperation and Efficiency in Markets [electronic resource] 0 索取号：作者：Horniacek、 Milan.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.		Cosmology, Quantum Vacuum and Zeta Functions [electronic resource] : In Honor of Emilio Elizalde 0 索取号：作者：Odintsov、 Sergey D.、S谩ez-G贸mez、 Diego.、Xamb贸-Descamps、 Sebastian.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Theory and Practice of Algorithms in (Computer) Systems [electronic resource] : First International ICST Conference, TAPAS 2011, Rome, Italy, April 18-20, 2011. Proceedings 0 索取号：作者：Marchetti-Spaccamela、 Alberto.、Segal、 Michael.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Formal Aspects of Security and Trust [electronic resource] : 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers 0 索取号：作者：Degano、 Pierpaolo.、Etalle、 Sandro.、Guttman、 Joshua.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbr眉cken, Germany, March 26鈥揂pril 3, 2011. Proceedings 0 索取号：作者：Abdulla、 Parosh Aziz.、Leino、 K. Rustan M.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Physics of Laser Materials Processing [electronic resource] : Theory and Experiment 0 索取号：作者：Gladush、 Gennady G.、Smurov、 Igor.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Formal Methods: Foundations and Applications [electronic resource] : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers 0 索取号：作者：Davies、 Jim.、Silva、 Leila.、Simao、 Adenilso.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Granular Computing and Intelligent Systems [electronic resource] : Design with Information Granules of Higher Order and Higher Type 0 索取号：作者：Pedrycz、 Witold.、Chen、 Shyi-Ming.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Advances in Aerospace Guidance, Navigation and Control [electronic resource] : Selected Papers of the 1st CEAS Specialist Conference on Guidance, Navigation and Control 0 索取号：作者：Holzapfel、 Florian.、Theil、 Stephan.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Technology-Enhanced Systems and Tools for Collaborative Learning Scaffolding [electronic resource] 0 索取号：作者：Daradoumis、 Thanasis.、Caball茅、 Santi.、Juan、 Angel A.、Xhafa、 Fatos.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Fundamental Approaches to Software Engineering [electronic resource] : 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbr眉cken, Germany, March 26鈥揂pril 3, 2011. Proceedings 0 索取号：作者：Giannakopoulou、 Dimitra.、Orejas、 Fernando.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Foundations of Software Science and Computational Structures [electronic resource] : 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbr眉cken, Germany, March 26鈥揂pril 3, 2011. Proceedings 0 索取号：作者：Hofmann、 Martin.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Foundations for the Web of Information and Services [electronic resource] : A Review of 20 Years of Semantic Web Research 0 索取号：作者：Fensel、 Dieter.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Nanocosmetics and Nanomedicines [electronic resource] : New Approaches for Skin Care 0 索取号：作者：Beck、 Ruy.、Guterres、 Silvia.、Pohlmann、 Adriana.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Bioaugmentation, Biostimulation and Biocontrol [electronic resource] 0 索取号：作者：Singh、 Ajay.、Parmar、 Nagina.、Kuhad、 Ramesh C.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Information Fusion and Geographic Information Systems [electronic resource] : Towards the Digital Ocean 0 索取号：作者：Popovich、 Vasily V.、Claramunt、 Christophe.、Devogele、 Thomas.、Schrenk、 Manfred.、Korolenko、 Kyrill.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Cooperation and Efficiency in Markets [electronic resource] 0 索取号：作者：Horniacek、 Milan.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.		Cosmology, Quantum Vacuum and Zeta Functions [electronic resource] : In Honor of Emilio Elizalde 0 索取号：作者：Odintsov、 Sergey D.、S谩ez-G贸mez、 Diego.、Xamb贸-Descamps、 Sebastian.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Theory and Practice of Algorithms in (Computer) Systems [electronic resource] : First International ICST Conference, TAPAS 2011, Rome, Italy, April 18-20, 2011. Proceedings 0 索取号：作者：Marchetti-Spaccamela、 Alberto.、Segal、 Michael.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Formal Aspects of Security and Trust [electronic resource] : 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers 0 索取号：作者：Degano、 Pierpaolo.、Etalle、 Sandro.、Guttman、 Joshua.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.